Formal Definition of UML's Package Concept
نویسندگان
چکیده
UML is the rst OO modeling language with a useful modularization and information hiding concept. It supports nesting, import, and reenement of so-called packages. This paper translates UML's informal package deenition into predicate logic formulas and solves some open problems concerning the visibility of exported and imported modeling elements. Furthermore, the formulas will be transformed into a speciication based on PROgrammed Graph REwriting Systems. We will very brieey sketch how a graphical UML editor can be generated from this PROGRES speciication.
منابع مشابه
A Radical Revision of UML's Role Concept
UML’s current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UML metamodel building on a much simpler role definition. Moreover, it replaces the rather unusual notions of association role and association end role as well as the rarely used association generalization with the more popu...
متن کاملHOLCF ’11: A Definitional Domain Theory for Verifying Functional Programs
HOLCF is an interactive theorem proving system that uses the mathematics of domain theory to reason about programs written in functional programming languages. This thesis introduces HOLCF ’11, a thoroughly revised and extended version of HOLCF that advances the state of the art in program verification: HOLCF ’11 can reason about many program definitions that are beyond the scope of other forma...
متن کاملTowards an Operational Definition of Critical Thinking
This paper offers a state-of-the-art working definition for the concept of Critical Thinking (CT hereafter) in an attempt to provide a framework for the development of an operational definition for this complex concept. Having studied various definitions and models, proposed for CT by major figures in the field, the key defining features of this rich concept were identified and classified. Base...
متن کاملModeling Techniques for a Risk Analysis Methodology for Software Systems
The U.S. Nuclear Regulatory Commission (NRC) Office of Nuclear Regulatory Research is interested in developing approaches towards analyzing digital instrumentation and control (I&C) systems for nuclear power plant system upgrades. (Arndt 2002) These approaches are directed towards analyzing the changes in risk involved with using digital systems, which include software and hardware concerns. Th...
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کامل